Answering regular path queries in expressive Description Logics via alternating tree-automata
نویسندگان
چکیده
منابع مشابه
Answering regular path queries in expressive Description Logics via alternating tree-automata
Article history: Received 23 December 2009 Received in revised form 3 April 2013 Available online 18 April 2014
متن کاملAnswering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach
Expressive Description Logics (DLs) have been advocated as formalisms for modeling the domain of interest in various application areas. An important requirement is the ability to answer complex queries beyond instance retrieval, taking into account constraints expressed in a knowledge base. We consider this task for positive existential path queries (which generalize conjunctive queries and uni...
متن کاملRegular Path Queries in Expressive Description Logics with Nominals
Reasoning over complex queries in the DLs underlying OWL 2 is of importance in several application domains. We provide decidability and (tight) upper bounds for the problem of checking entailment and containment of positive regular path queries under various combinations of constructs used in such expressive DLs; specifically: regular expressions and (safe) Booleans over roles, and allowing for...
متن کاملNested Regular Path Queries in Description Logics
Two-way regular path queries (2RPQs) have received increased attention recently due to their ability to relate pairs of objects by flexibly navigating graph-structured data. They are present in property paths in SPARQL 1.1, the new standard RDF query language, and in the XML query language XPath. In line with XPath, we consider the extension of 2RPQs with nesting, which allows one to require th...
متن کاملPractical Reasoning in Expressive Description Logics Using Alternating Automata
vi Acknowledgements vii
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2014
ISSN: 0890-5401
DOI: 10.1016/j.ic.2014.04.002